perm filename CMCC10.300[CM,DEK] blob
sn#792527 filedate 1985-05-13 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔ εRp_Lg#_M&t G$↓`∞β@∃8↓U`58↓U@U0αU@U(@ U(@@E(@@E AE AE AE_A@E_A@E_A@E⊂BE⊂BE⊂εT!uλB@E↓α@UCECDxC TxC@Dhαβ TP∧B↓DP∧B↓D("⊂C!p
F`↓_%¬)` ∧A)` ¬↓)` ¬↓)` ¬A)` ¬A)` ¬A)` ¬A)` ¬A ` ¬↓)` ¬↓ ` ∧A a'↓↓ ('↓↓0('↓↓@('↓↓@('↓↓P('↓↓P('↓↓P('↓↓P('↓↓@('↓↓@('↓↓0('↓↓ (%¬I!_"Qλ1P∂εc0X∧↓@∃⊂α↓` T0`@@$x↓C@⊂λ↓∪@1↓S A↓SA⊂↓∪A⊂↓∩`Q_R`A R@TPαR@TPαR@TPαR@TPαR`A R`Q_SA_SA⊂S AλS@1S`0pT0X↓∀@@0↓∃ t("⊃βB
F`↓_%¬)` ∧AI` ¬A)` ε↓)` εA)` π↓ ` π↓)` π↓)` πA ` πA)` πA)` πA)` πA)` πA)` πA)` πA)` πA)` πA ` π↓)` π↓)` π↓ ` εA)` ε↓)` ¬A)` ∧AI!(%∧hT "FCaX
@β∧P ∪@@`α∪@@p↓∪@@xS@@x↓∪@@8B∀pα↓`⊂@S@@8B∀pα↓`⊂@S@@8S@@0↓∪ADpε∪@@0↓∪@@8S@@8S@@8B ∀pα↓`⊂HS@@8B ∀pα∧∀pα∧∀pαβ`$pαβ`$pαβ@4pαβDP ∩C∧("⊃BqX
F`↓0%¬I` ¬↓ ` εI` ε@)` ε@I` ε@I` β pλ'↓`λβ@)` β pλ'↓`λ'↓`λ'↓P⊂'αi`X'↓P⊂'↓`λ'↓`λ'↓`λ'↓`λ'↓`λ'↓ ` '↓ ` '↓ h%β(T #G$⊃X
Ba0T@@8↓↓∃↓C⊂⊂↓∪`0p@ $p↓D4hα∧4`α∧@$`α∧@$XαD`∀Xα¬∀PαR@TPαR@TPαR@TPαR@P`ε∩`@`ε∩`Qα∪Aα∪Aα∪ @xα∪@0xα∪`0pα∀0`@ 5⊂α↓` _↓∃!0Q(D@
Gc1Xβ0`%β0`'↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '∧ia_'↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 %β0`%β0`"Q ⊂`λεc0ε∩ADpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DPε∩AD("∩B↓
F`@`'β
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 %@`P %↓ @ %↓ @ %↓ 0 %@`@_& @_&A(T %G$⊃X
@↓@8∧RA@8∧S@@h↓S@@hS@@`S@@XS@@PS@@HS@@@S@@8S@@0S@@(↓∪@@ α∪@@_β∪@@⊂@@Dpα ⊂ α∪@P(αS@@8α∪@@8αS@@@αS@@Hα∪@@HαS@@PαS@@Xα∪@@XαS@@Xβ∩A@(ε∩A@(ε⊃(D` εC1Xβ) h'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` ε@)` ε@)` ε@)` εI` εI` ε)` ¬@I` ¬i` ∧↓)!(%¬(T &HdqX
@↓⊃λ∧RA⊃λ∧S@`xβ∪@⊂λαβ`⊂λα∪@⊂λαβ`⊂λα∪@⊂⊂αβ ⊂⊂α∪@⊂⊂αβ ⊂⊂α∪@⊂⊂αB` ⊂α∪@⊂_αα`⊂_α∪@⊂_αα`⊂_α∪@⊂ αα ⊂ α∪@⊂ αα ⊂ α∪@⊂ αα ⊂ α∪@⊂(α↓`⊂(α∪@⊂(α↓`⊂(α∪@⊂(αA (α∪@⊂0α↓ ⊂0α∪@⊂0α↓ ⊂0α∪@⊂8α`⊂8α∪@⊂8α`⊂8α∪@⊂8α@ 8α∪@⊂@α ⊂@α∪@⊂@α ⊂@α∪@⊂Hαα DpB @Hα∪@ @αα DP∧A@ 0ε∩A⊂0↓↓AD("∪C1x
F`H∧B) H∧B)`0¬@I`λA!0λ' ¬@)`λ↓↓! λ' 0(∧@)`λα↓↓⊂λ' @(∧)`λαA pλ' ` β@)`λβ↓ `λ' p(α@)`λ∧↓Pλ'!(α)`λ∧A 0λ'! ↓@)`λ¬↓ λ'!0(@)`λε↓⊂λ'!@0'!P('!` '!` '!p_'Ap⊂%α!@⊂%α!Pλ"Q qh⊂Fc0XβT@@(α∀@Hα∪`@Xα∪@@hα∪ @xα∪PxαSAλα∩`QλαR`QλαR`A_α∩@Q_αR@Q_αR@Q_αR@Q_αR@Q_αR@Q_αR@Q_αR`QλαR`QλαSAλα∪PxαS @xα∪@@hα∪`@Xα∀@Hα∀@@(α∃ t("∀β⊃h
F`↓⊂%¬ ` ∧A)` ¬A ` ε↓ ` ε↓ ` ε↓)` ε↓)` ε↓)` ε↓)` ε↓ ` ε↓ ` ¬A ` ∧A)`x'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ `%βλT (G$∩_
B`u⊂α↓ Eαα Dxαα`Dpαβ Dhαβ`D`αC`T`α∧ DXαD TXαD TXα∧`DPαD`TPαD`TPαD`TPαD`TPαD`TPαD`TPαD`TXαD TXαD T`α∧ D`αC`Thα↓@00α∪@@ @` _α∪`@⊂A ⊂⊂α∀@λA@U⊂αAE(∧B∃h↓↓`∃h↓↓@%h↓A5h∧WA¬p∧↔`fα⊃(E⊂∞λβ1X∧)!_'↓↓('↓↓ '↓↓0 '↓↓0 '↓↓0('↓↓0('↓↓0('↓↓0('↓↓0 '↓↓ '↓↓ 'β)` β@i` ∧i` ∧↓ ` ∧@i` ∧A ` ∧A ` ∧A ` ∧A)` ∧A)` ∧A Pλ'↓↓⊂(α@)` ¬↓ @λ%βp ↓@) `∧A(T )DbqX
A `(S! ⊂↓∪@(↓@ $X↓B DX↓α`4P↓C$P↓C$P↓C ∀P↓R@DXαRa∀`ε∪!Txε∃↓¬@α⊗ EP↓V@4PC`4P↓β@4P↓β@$P↓C $Pαα`$P↓ @0↓R@ ⊂¬R@⊂0β⊃(E
πC1XF 1@%A` β↓ 0⊂∧↓↓⊂%@!⊂ ∧@) ⊂∧A↓⊂⊂%A⊂ ∧@I λ¬↓↓ λ%! ¬) λ¬↓↓ λ*A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P 'D q"Q
QX∂Fc0ε↓A∀Pε↓A∀pαβ $pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ $xαβ∀xαα`%αα %λαA 5_¬∃ d("∃CR∞ε``∧B `∧B ` π@i` λ)p π)p π)p(ε@* ε* ε*(¬J⊂ ¬*⊂(∧@* ∧* ∧* (β@*0 β*0 β*@ α*@ α*@(↓@*P ↓*P ↓*P8+↓*`(+@jp_+@kλ"Q
rH⊗πβ0¬A↓P(∧∩A0 εA!∧hαCPP↓S@@`αB`∀pαα`⊂λαα`∀xαα@⊂λαα@∀xαα@⊂λαB ∀xαα ⊂_αα ∀xαB⊂_αα ∃αα⊂_αA`∃α↓`⊂(α↓`∃αA@⊂(α↓`∃λα↓@⊂(α↓@∃λα↓ ⊂8α↓ ∃λα↓ ⊂8α↓ ∃⊂α↓⊂8α↓∃⊂α↓⊂8α@`∃⊂α`⊂Hα`∃_α@⊂Hα@∃_α@⊂Hα@∃_α ⊂Xα ∃_βα`@λUPXαU@hα∃@hα∃ 0h↓U 0h↓U x↓∃@⊂xQ(E@∞Hβ1XC@P%C@P'A!⊂ (↓!⊂⊂(A↓⊂λ(A pλ)↓ P⊂)APλ)A 0λ*↓ ⊂*↓ ⊂λ*A*` +↓*p(+↓J`λA*Pλ↓A*@⊂α↓
@λαA*0λβA
⊂βA* λ∧A*⊂λ¬A
λε↓)` ¬AI PβC PβCλT ,GD⊃X
@↓@H∧RA@H∧S@Pp↓S`@p↓∪`PhTPXT @P↓∀ PHT@P8T`@8T`P(U@(UP_U P⊂U@@λU@e8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E_ε∀aD("⊗BaP
F`! &¬ @ ¬A @_¬A)@⊂¬A)@λε↓ @λ¬A)@λ¬↓)@λ∧A)@λ∧A
P(*↓*@ )A* ()↓
⊂(∧@*(¬* ¬@)p(¬@)`(¬@IP(εIP ε@)@(εI0(εi0 ¬A)!(%¬(T ¬C!X
@αTP
S@@Hα∪@@X↓∪@@`S@@`↓∪@@`↓∪@@hS@@hS@@hS@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩ATPεQ(@λ∂HcA`π@+_,jp(+A*`λA*`λ↓↓
Pλ↓A*@⊂α↓*@λαA*0⊂β↓*0λβA* ⊂∧↓* λ¬↓
⊂⊂¬↓*⊂λε↓
⊂ε↓*λπ↓ p⊂π↓)pλλ↓ `⊂λ↓)`λ ↓ Pλ A)Pλ
↓ @λ
A)@λ ↓ 1h%G)!x"Q!h⊂Fc0XβT@@(α∀@Hα∪`@Xα∪@@hα∪ @xα∪PxαSAλα∩`QλαR`QλαR`A_α∩@P_B`⊂_αR@P_ε@`TPα@aP_αR@P_ε@`TPα@`⊂X@`TPαD`TPαD`TXαD TXαD T`α∧ D`αC`Thαβ`Dpαβ Dxαα`Eαα E⊂α↓ E(βQ(@_ GβA`ε*P_*@jP_*@j@(*↓*@()@ ⊂()@ )@ ) 0() @ ) @ (@ P((@ ` (@ ` (@`((! (! (! '@!⊂('@! '@! '!0('!@ &@a (%α @`%α @`"QA0
εc0 ∩BdP ∩@⊃ R@⊃ R@⊃ R@⊃ Q` _C@∀hC@∀hC@∀hλ∪"∧hλ∪ ⊂pS ⊂pS ⊂pQ`0E∀PE∀PE∀PE∀P ∩BdP ⊃(@(
Gc1Xεi!X'↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 %β0`%β0`"QaP∂εc0 RC∀XαC@TXαD4`αD$hαD$pαC`$pαD∀xαC`∃αC@∃λα∀ U⊂αT`U ↓U%(U∃_C`∃⊂D∃λD ∃D $xD@$pD@$hD@4`D TX ∩C∀("↓cRλ
F`0(εA)@@∧B 0PβBI `αC ⊂αA@@ βI λ∧↓0 ∧*@ ↓jP_↓jP_↓J`0+↓J`(+A
p +A
p +A
p +A
p +A
p +A
p +A
p )βJ p"Q↓↓P∂εc00π∀↓e(α∃ E(α∀a¬α @λα∪@@_α`Dhα↓@ α∪@(α↓ DXαA @(αR`@0α↓@DPαA@@0αR@P0α↓@TPαA@@0αR@P0α↓@TXα↓@@0α∩`P(α↓ T`α↓ @(α∪ @ α↓Dpα`@_α∀@λα E_∧∃ E(α∃ Eπ∀↓d("α#Rλ
Fap)βJp +A
p %↓! βA)@ βA` &↓p β↓ P β↓P &A` αA P β↓P &A` αA P β↓P &A` αA ` αA@ '↓P α↓ ` αA@ 'A@ ↓A p α↓0 (↓0 ↓↓
⊂ ↓↓⊂ )β*@H+A
p +A
p)βHT ¬εCaX
B!¬α↓@Dpαα@DhαβD`αβ@DXαC@TXα∧DPαDTPαDTPαDTPαDTPαDTPαDTXα∧DXαC@TXαC@T`αβ@D`αβ@Dh↓C@4hαβDp↓C4P@`0`↓@`∀PA `↓↓∀P↓`0P↓@`$P↓↓ P↓↓∀XβB@tX∧α↓∧X∧α↓∧(" α⊃(
ε@`('@P⊂&@@p⊂&`p_&A⊂⊂%@a⊂_%@a⊂_%@a⊂_%↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓⊂ %@a⊂_%@a⊂_%@a⊂_&A⊂⊂&`p_&@@p⊂'@P⊂(↓(T _CB1X
A`$xα∪ dP∧R@@⊂↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓TDXεRaT(" B⊃(
ε@P8&Bi@⊂αAI0λ∧A) ∧↓) (βA) (βA) (βA)0_∧↓*`(*A*P(*↓*@ )A
0_)j⊂⊂(Ip⊂∧@)`⊂¬)`λ¬@)Pλ¬@I@p%Ci!%∧λT →D"QP
↓ dh¬∪ 8↓R`@8↓R`P0α∩`P0α∪08α∃@E0α∃ E(↓U4xβUE(α∃ U0α∃@U0αR`0@αR@P8αR@P8α∩@P0αR@@8α∩`00α∪↓4pβQ(C EC1XεJ`⊂*@j@ *↓
0λ@j ⊂@j λ↓j⊂λ↓@j⊂↓@jλαipλα@i`⊂α@i`λβiPλβ@i@⊂β@i@λ∧i0λ∧@i ⊂∧@i!_%∧jP_*@jP_*@j@ (Bj⊂X"QεQλ
FC ⊂↓α $`ε∪↓4`¬∪↓∧`S∀`S∀`S⊂_αS⊂λ↓↓ $`↓α$`B 58↓U`58α∃`DX↓α@DPαα DPαα DP↓B@4PB`DXB@4`↓↓@Dh¬∪`d("
B⊃(
ε@p0'B)`_βIP_βi@_β↓ @_β↓ 0 β@I0_%@i %↓ (%↓⊂λα@I (β@I (β@i ∧@i ∧@i ∧A ∧A 0_∧A 0_∧A 0 ∧↓ @_∧i@_βA P_βi`_αip@(AλT ≠DBaX
@ ∀XλRb∀Xλ∩b∧P↓β ∀P↓β∀PC∀PC∃0U ∃ ↓∃∃_↓∀`∃⊂↓∀@%λ↓∀ %↓T5↓S`Dxα∪`Dxα∪`E↓⊃(C@λE#!Pβ↓)`H&@`P_&A⊂⊂&!0⊂%@A0⊂%@A0⊂%@a ⊂%A!λ&↓ `λ&A@0λ'↓ip8'B)P⊂↓Ai@⊂β↓I0⊂∧↓)0⊂¬↓ ⊂εi ⊂ε@I ⊂ε@I ⊂ε@I0λε@)0⊂¬@I@_β@iPX'AhT ≤D"QP
↓@Tp∧∪ 0(↓∪08↓∩`@8↓R`0@↓R@@H↓R@@H↓R@@H↓R@@Hα∩@@Hα∩`0Hα∩`0Hα∪08αS 8αS@ (@ Eα@@E8α∃`58↓S 8α∪@0↓S@0↓S00↓S 0↓S!∀pβ⊃(B λE$↓p∧J ⊂'AiP_↓@ ⊂&@@⊂α)0⊂α@@Pλ%@ `⊂α@) ⊂β@@_%@`⊂↓A ⊂β@0 %@`⊂αI _α@I0_αI00@I@H&BI`P(B
⊂A* ⊂↓@j ⊂αi0⊂α@@@_%↓@⊂α@I α@P⊂%`P⊂α@I λβ@@Pλ%@ `⊂αI0λβ@@λ& P⊂↓@)P⊂↓@@⊂⊂'AJ ⊂)HT ∪π$⊃`∞α@5_@`∃⊂↓`∃⊂↓`∃λ↓@`∃λ↓@`∃λ↓@`∃λ↓@@∃λ↓@@∃λ↓@ ∃λα∀@ P∧T@0H∧T @Xα∀`XT⊂⊂↓B`∀x@`@HS@⊂ αα∀hA@@8S 8↓A@∀X↓A`DPαα@_R@@@α@∀Pαα TPαB @PR`@HαB ∀`α↓@0λαA@∀h¬↓↓$xβαd("∂b↓ ∞π@@&@p_%@! _%a⊂ %↓↓ %↓↓ %@A⊂ +jP_*J0⊂)@* λ)*⊂λ(@*⊂λ(@*⊂λ(@(p βip('A)p((hT πDαA`
↓@4xαS`TxαT48α↓`∃λT ∃λT ∃↓∀∀x↓∪`$p↓∪ 4Xα∩`4Pαα $PααDPααDPαα 4X↓B@∀`↓A`$p∧⊃(Ah∩ c1X¬ε
A@, ∧A λ↓↓↓0⊂+@ 0 ε*pλ↓A↓@⊂+@ 0 εJ`λα↓↓Pλ+ @ β `λ*@ P β `λ*@ P β+0 β*@λβ↓`λ* ` α@J1_)Dk0 α@J λ∧↓`λβ@* λ∧↓`λβ@*⊂λ∧A`λβJ⊂λ∧A`λβ*λ¬↓`λβ*λ¬↓↓@⊂(! εIpλ¬A↓0_'a ∧A HαE HαEλT ∂ eAX
BC5⊂↓ABE↓B PPα∪`0PαC$p↓C@hS @`αβ $`αβ @@A$`αβ @@A ∀XαC @@A ∀Xαβ@@@A ∀Xαβ@@8↓∩@Ppα↓@4PαCATPαCATPαC@@0↓R@Ppα↓`$PαC@@@R@Ppαα⊂0R`@pαα⊂0R`Phαα⊂(↓∪@hαβ@∀`αβ @pS @`αβ $p↓C@h↓∪`0PαC5↓B PPα∀@00
∃#$("πcRλ∂G#⊂λ1JP8β* αA λ(↓↓⊂ '@aP_'a` &@a`λ↓i@ ε@@ &a`λαi0 ε@ P %@aPλβ@i0_ε@p_%↓↓@λ∧↓ ¬@!⊂ %↓↓ λ¬↓ ¬! %↓↓⊂λ¬A ∧!@ %↓p⊂ε↓ 0_β@!P_%APλεA @_α!`_&↓ ⊂εA P_↓!`_'↓↓`_'@aP_(↓↓⊂ '@ αA `λβ↓iP⊂&@(T ⊂A!!`∞ 4PαR@TPαR@TPαR@TX↓R`4X↓R`4X↓R`4X↓R`4`S∀`S∀`Q`@λ↓R@TPαR@TX↓Q(@pαBCA @i (%↓) (%@hp ↓)@λ&)@λ&)0_%@i0_%@i0_%@i0_%@i (%↓) (%↓) (%↓)0_"Q∧1x⊃Iβ@p↓α%@↓α%@↓α%8↓A`58↓α%8↓α%8↓α%0↓A`50↓α%0↓α%0↓α%0↓α%(↓A`4P∂RCu ↓α% ↓α% ↓α%_↓A`5_↓α%_↓α%_↓α%_↓α$P∂RCuλ↓A`5λ↓α%λ↓α%λ↓α%↓A`5↓α%↓α%↓α$x↓A`4x↓α$x↓α$x↓α$(" #r_⊂π@@ @IP⊂↓@B_&@P⊂πi0_βa (%@@pλ↓@`0%aλ↓A`⊂_%aλ¬@I _∧! _%aλ∧@i _∧!_%aλ∧I _∧ p_%@@pλβ@i0_β `_&@Pλβ@IP⊂↓@ p_'↓p_αA _α@@0λ,@P⊂α@*p_α``λ+`P⊂β@*P_α@aλ*@@`_∧*@_βaλ)@`p_∧* _∧aλ)A⊂_∧*⊂_∧@aλ(a0⊂β@)p_ε``λ'@A`⊂α@)`_π@@0λ'B⊂ "Q∧p0¬Cβ@λ↓R@TPβ∩@dX↓@ ∀xS`∀xS@∀pS ∀`R`∀("
↓!∀GA⊂λ(@J⊂'@I`_'IP_&@I@_&i0_%@i0_%@i _%i _%i _%i _%i _%i _%i _%i0_%@i0_%@i@_&iP⊂&@i`⊂'ip⊂(J⊂⊂)@(T ∀BAbH∂∀X↓∪$h↓∪ 4p↓∪@4x↓∪`4x↓T5↓T5↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T5↓T5↓S`4x↓S`$p↓S@$h↓S $`↓∩`$PQ(BPπEα⊃pβj_(j_%@@_αI ↓` &` λ↓i`8(j_'↓i@_↓ _%↓ _↓↓ ⊂α`@⊂(j_(j_"Q¬1h⊂G#p↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗$P∞RCU@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗%@↓⊗$(" PPε↓⊂_%↓) (%↓)0 ')`λ')Pλ&@)@λ&)0λ"Q¬`(¬↓@λ↓R@TPαR@TX↓Q(BxλE%↓pπ@K⊂⊂,k⊂+@jp⊂+@J`_+J`⊂*@jP⊂*j@⊂*J0_)@J _)J ⊂(@j⊂⊂(@J_(Ip_'@Ip⊂'i`⊂&@iP⊂&@I@_&I@⊂%@i0⊂%i ⊂%HT ≥↓!!λλ@ 4PαR@TPαR`48∧ 4PαR@TPαR`4("∞`PP D ⊂_%↓) (%↓)0_#B⊂_%↓) (%↓)0 ')`λ')Pλ&@)@λ&)0λ"QπQh⊂Bap∞RCT8∧βTP∞Q(D∞H#A`¬Aj _β@j⊂ε@Ipλλ@)`λ @)Pλ
@)@λ∧A!⊂λ& p⊂α@@pλ%@ p⊂∧ pλ%@ `⊂¬`@λ%@ P_¬`@λ% `⊂¬@`Pλ% P_¬@`Pλ% P_¬@`Pλ% P_¬@`Pλ% P_¬@`Pλ% P_¬@`Pλ% `⊂¬@`Pλ%@ P_¬`Pλ%@ `⊂¬`@λ%@ p⊂∧↓@λ& p⊂α@@ ⊂↓@)@λ∧A P &@)`λ'@*⊂λA
_¬↓JPX"Q 0(ε
β`αR@TP↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@TPαQ(EhαB¬↓p↓) (&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@IP⊂&@I (%↓(T 0↓A `∞↓∀hS∀XR`∀PR@∀PR@⊂λ↓R@dPβ∩`T`↓Q(A⊂βC@q`i _%↓ 0_&i`⊂'@*λ"Qα08 ↓c@ ↓S@4hα∪ 4`↓R`$XR@∀("¬↓1⊂αε ⊂β@I0_↓@iP('ipλ"QαPh Ac@B`∀PB`∀PB`∀P↓α $X↓↓`$X↓A 4`∧S@T("¬Aq ¬`x"QαpH ↓CP⊂αR`⊂(R@⊂8R@⊂8R@⊂8R`⊂(ST(!@ ?␈␈x␈@∧ ?␈␈x|?␈␈x␈@`4hα∀5λ↓T 5λ↓S`DPβQ(B¬C 0xβ@i`0%AI0_"Q `X ↓#@(S@4h↓ $`↓`$X↓↓ $P↓↓`$("↔`PPαπ ⊂_%↓) (%↓)0_"Q∂P` Ac@⊂↓A4`↓A4Xα`DX↓A4X↓↓ $X↓↓ $P↓↓ $PA@∀("∨AQ_↓π (α@)0X% P("Q∂ph AβPλ↓A 4Pα@`TPα@`TPα@`TX↓A 4("β↓a ∩π`⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(I ⊂α@@⊂&@ ⊂↓IP⊂@@⊂⊂'↓Ip (HT ¬CBB_
A@$xα∪@dh↓ λ↓∪ ⊂↓@$P↓↓ ↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓⊃(C` Gc↓( k` .↓ ,↓
` *↓
(↓ ` &↓ %↓ @ '↓
)↓
@ +↓ -↓ @ /↓ _"QπaH∂FαP↓R`Dhα∪`Eλα∀`E(α∃`EHα⊗`Ehα↔`Exα↔ EXα⊗ E8α∃ E_α∀ Dxα∪ DXα∩@4("β PPππ ⊂_%↓) (%↓) (%@i0_%@i0_%@i0_%@i@λ&)@λ"Q∧ pλCβ@λ↓A 4Pα@`TPβ@dPβ@dX↓@ ⊂_↓@ ∀xA`∀xA`∀xA`∀pA`∀pA`∀hA`∀`A`∀XA`∀(" !@pB `%βλT .βB``∞↓⊂8S ⊂8S⊂8R`⊂8R`⊂8R@⊂8R@⊂8R@⊂8R@⊂λ↓@`⊂λ↓R@`⊂β∩@`⊂β∩`P_αS0(↓Q(GX
E`X¬(T >
E@¬@¬$("_"a8
¬↓ ⊂*J0 )A
0 ) ⊂ ) _(@ 0 (@ @_(@ @_( P ( `_'@ p 'C `⊂∧↓ `λ¬i`λ¬iP⊂¬↓ P⊂¬@i@_¬↓) 8βα(T 1∧bA
↓dh↓A`4h↓B4h↓BDh↓BDh↓BDh↓BDh↓BDh↓A`DhεS!dh↓BDh↓BDh↓B Dh↓B Dh↓B Dh↓B Dh↓BDh↓BDh↓A`DPπQ(F_ E"A ∧↓ Pλ(`@⊂↓@)`_∧ ⊂⊂&@a _&a@⊂%A↓@⊂%A↓Pλ%↓↓`λ%↓ %↓ %↓ π)0 ε@)0 ε@)@_ε)P_¬@)`_∧@*_α@J 0"Q A( ¬α@πS 08α∪ 0H↓S 0P↓S 0P↓S 0X↓S 0X↓S 0Xα∪ 0Xα∪ 0Xα∪ 0Xα∪ 0Xα∪ 0Xα∪ 0Xα∪ 0X↓S 0X↓S 0Pα∪ 0P↓S 0H↓S 08α∩At("→"1
¬↓λ&@a⊂⊂&@a λ&@a ⊂&@a0λ&@a0λ&@`Pλα@)P_α@)P_α@)P_αIPH&@`@⊂&@`Pλ&@`Pλβ)P_α@ `λ&@a@λ&@a0⊂&@a0λ&@a ⊂&@a %∧HT 3∧"!
α∧h↓B$h↓B ∀h↓B $h↓B@∀h↓B@∀h↓A ⊂ S 0(S 0(S 0 ↓∪!∀h↓A$h↓A ∀h↓A ∀h↓A ∀h↓S 4h↓S 4hα∩A$("→bQ8
¬↓(α@*_α@0λ'aλ@IP_¬i@_εI0 εI0 ε@) π) %↓ %↓ ∧α) ¬A 0 ¬@i0 ¬@i@_¬@iP_¬i`_∧@j_α@@⊂⊂)↓@@λ"Q
↓0 Eα@∧A↓∀hααDh↓B@4h↓B@4h↓B@4h↓B@4h↓B@4h↓B@4h↓B@4h↓B@4hλ∪ 0P↓S 0P↓S 0P↓S 0P↓S 0P↓S 0P↓S 0P↓S 0P↓S @@α∩A⊂ ∧Q(FH∧BBA α)P &@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP %α(T 5β↓a
a∃α∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓R`⊂(↓R@0 ↓R@ (↓∩`⊂ ↓∪T("~bQ0
¬HαAiP ∧↓ P_∧@IP_∧@)P_∧)P_β@)P_β)P_α@)P_α)P_↓@iP_↓↓)P_@ _&A0 &@`P_&@``_&@`` &@`p_&@a_&@a &Ap(%α @@"Q
A⊂ Eα@¬∪ Dh↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 0XS 0XS 0XS 0P↓∪ 0PS 0H↓∪ 08α∩B∀("≠#1`
¬8εAiP εA Pλ@a0λ@iPλ@a0λ@iPλ@a0λ@iPλ↓a⊂λ↓iPλ↓a⊂λ↓iPλ↓@`pλ↓@iPλ↓@`pλ↓@iPλ↓@`pλ↓@iPλα`PλαiPλα`PλαiPλα@`0λα@iPλα@`0λα@iPλβA⊂_&@ `_@ `_&@ `_@ `_&@ p_β@iP⊂β`p_&`pλβA 8α@ PH"Q
a0 Eα@βBthαα@4hαB $h@ @HS ⊂⊂αα∀h@`0@S ⊂_α↓`∀hA@0S ⊂(α↓ ∀hA@0(S ⊂0α↓∀hA`@_S ⊂@α@∀hB 0⊂S ⊂Hα ∀hB@ThB`DhC4h↓α`4`↓C$PβB`∀("≠bA0
¬p0'@`@_'``_&@a_&a _&a _%A↓ %@a@_%↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %↓↓@ %@a@_%A↓ %A↓ &a _&@a_'``_(AHT 8∧B1
↓dh↓A`4h↓B4h↓BDh↓BDh↓BDh↓BDh↓BDh↓B4h↓A`4h¬S 4h↓S 4h↓S 4h↓S 4h↓S DP∧Q(Gλ
¬C! βAIp_αi`_βiP_∧i@_¬i@_¬i0 ¬↓ 0_εi ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ 0_εi0 ¬↓ 0 ↓A0 &` λα _&@`⊂λα ⊂_'↓@ (A`Pλ+@ Pλ+@@0⊂+Ajp0,↓+⊂_"Q∞!0 Eα@π∪ 00α∪ 08α∪ 0@α∪ 0@α∪ 0@α∪ 0@α∪ 0@α∪ 08α∪ 00α∪!4h↓A $h↓A@$h↓A@4h↓A@4h↓A@4h↓A@Dh↓A@@(S 00α↓ ∀hα↓@@_RA⊂0αQ(G_εCbA ↓A@ λ& `_%@!⊂%@!⊂%A⊂λ%A⊂λ%i (%α 0H&α)`@)↓
@_*@I λ¬I λ¬I ⊂∧@) _∧) ⊂@@Pλ% @("Q∞A( ¬α@λ R` 0↓A@$XA`08R`⊂8↓A`$PB0@R@⊂@↓B∀PB0@T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`Dx¬Q(G( ¬bA α `8&A↓ _&@a0⊂&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ&@a@λ'a λ'a λ'@aλ(↓@⊂)↓HT ;¬Bq
↓@β∪@X↓S 0`S 0`S@0PS@0PS@@@↓∪`0@S`@8T00T00T 0 T 0 T @_T@0⊂T@0⊂T`E_α∀`E ↓∃$("≥cax
¬@αα 00&↓↓(β@i@ ∧↓↓⊂&@`p0β@)P_β@ _β@)`_β _β)`_β α@)`_α@ @_α@)` α @_α@)p_α @_α)p_↓@ `_↓@)p_↓@ `_↓@*_↓ `_↓*_@@` @*_@!_@*⊂ ∧↓
⊂ ∧↓
⊂_¬j⊂_¬j ⊂¬J λε(T <¬Bq
↓⊂(βS P8α∪ @@↓∪@@0↓∪`@(T0 T@⊂T @λT@E⊂α∀`E_αT@⊂⊂↓T ⊂_α∀ ⊂ α∀⊂0↓S`⊂8α∪@ @α∪@ Hα∪@@αR@p0∧Q(GH FαA α↓8&↓↓@_&A↓0λ'↓↓⊂⊂'@a⊂'Apλ(``λ(@`Pλ(A0λ)`0λ)@`⊂λ)A*@_*j@_*j@_*j@_*↓
⊂H"Q∂ xλEα@λπ∩`08↓R` @↓R`⊂@↓R`⊂8α∩`⊂8↓R`⊂0↓T@5λ↓TE↓S`Dx↓S@08S@08S 0@S@@S0HR`0H↓∩`0@↓RAt("εC!X
¬qλ* ⊂_β@J0λ↓aλ)@ _∧J λ↓@a⊂λ) 0_∧@* λ↓@`@λα*⊂λα`@λ(@ @_α*λα@`0⊂(βJλα@`0⊂'@ `_α)pλβ`@λα@)`λβ@`@λα@)`λβ@a λ' p_¬)P⊂β@a⊂λ&@@p_∧@)@λ@ p_∧I 8↓ChT
G#q
↓bDx↓A @@↓∪@08↓B ∀h↓B0H↓∪0H↓B@∀`↓B 0PR`@H↓A@⊂_R`0P↓A@∀Pαα@00R@@P↓A $PααA$Pαα@0(↓∩@@P↓A@∀Pαα@00A∀Xαα 00A∀Xαα 0XR`@H↓B`∀`αα0PS @8↓B@∀pα↓ @H↓∀"T("παA0 ¬B⊂λ-*⊂0↓Ip_α↓ `⊂∧IP⊂∧@i@⊂∧@ ⊂&A⊂↓I0⊂∧@ @⊂%@Aλα@I _∧ P_%`pλβi _β@`_%``λβ@i _α@!_%`Pλ∧i0⊂α!⊂⊂%@` ⊂∧i0_↓!⊂_&↓↓⊂_&@a_'↓@ &@@ 0&@)@λ"QαH¬¬α@∧S Dh↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S DP∧Q(AλεβBA ↓B* (@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_%@ P_%`@_%@P⊂%@ @⊂&↓(T D"⊃
↓`Tx↓↓4p↓↓@4h↓A@Dh↓A@Dh↓A@Dh↓A@4h↓A 4Pβ@Dh↓A 4h↓A@4h↓A@Dh↓A`4h↓A`Dh↓A`Dh↓A`Dh↓A`Dh↓@`⊂_α∪ 0⊂↓@@4h↓@@ ⊂↓R@`_α⊃=q3≠mg 3_-VH6≡$∧_&Pj4_wJ,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞B;Z.F@7].B3 -FH3X.G(9→.>xε→Mvp:→L⊗_2XO↔ 2|`∞P∨
r P8(zQpα U`α U`¬Ox␈␈}Pβo0π``αk@¬r}`λ∀↓wλb@`
=@"0βQλ0↓H({dε∂R β o0απ`Xf2`ε\>`(∩↓aλπhc=@b_β3t@↓cH{↓d`π"⊂`βS∂0∧λ`hORπ<>`H∪↓h@Cx8=A"_β3t@↓}x{αc ∧}I`π\␈0εε@H⎇∪@∂#≡`hλe(*@↓xX=Aa↓JU(α⎇p{βc⊂∧a6¬,?0λβ V<`∃2>aλλ@hh αP⎇=B!Pα?$pβT0{∧c ∧}I`π+←0
ε@H⎇∪@∞]≡a(
↓∨P'↓hD⎇BaPα?$pβZ`{¬d@π∧!`π6←0 εHλD∞u≡aH @v05αX→⎇C!hαjz¬∀@{εd⊂ε-B
9?0∞ε Hek ∃∪≡ah∃@α _s↓(U=Cc∧Lf_αdx{πd`π"⊂`¬←O0⊂∧0*U ∞␈↑bλλe(*@↓8Q⎇D!Pα?$pβ⎇({λeπ\8Pεβ∨0∩ε@H⎇∪@ ⎇↑b(∀↓wλb@↓@V=Db0βQλ0αHx{ bβ∃*Pε/∨0∀¬ @∪t@ g≡bH
@↓α8i↓H{⎇E!Pα?$pβ%⊂{
d`π"⊂`εR←0⊗∧0*U
6≡bh @spI@α
=Ea↓JU(β/H{ c ∧}I`εa/0_ε@H⎇∪@λ≥≡cλ
↓∨P'↓q⎇F!Pα?$pα∩ { c ∧}I`∧.␈0~ε@H⎇∪@λr↑c(
↓∨P'↓⊂∩⎇FaPα?$pα'`{
c ∧}I`∧\?0≤ε@H⎇∪@ J↑cH
↓∨P'↓_G⎇G!↓JU(β6_{∞bβ∃*Pεp∂0≡ @pD!@∂P↑ch∪↓h@C↓XV⎇Gb0βQλ0βwH{∂c⊂∧a6¬#O0 @pD!@
o↑dλ∩↓aλπ⊃⎇H"_β,8hλ`{⊂d0εgi∨∨0" p&2`Y≡d(⊃↓Npv@λi⎇Hbβ∂$p$`{⊃d`π)∨V?0$ pλC@↓I↑dH
{-_L⎇I!PαF3⊂=@{∩d`π!5`↓∧?0&π``αk@α'↑dh⊗α `e w⎇Ib βB⊂p\{∪d`π"⊂`↓K∨0(λ@`w; β3≡eλ∪↓h@C8⊃⎇J" β;αX{P{∀c@¬8qPαε?0*λ`hOR∧%↑e(∩↓aλπ@z⎇Jb βB⊂p↓⊗@{∃f 'h`α:←0, pλC@¬'↑eH∩↓aλπX¬⎇K!xαyLX↓6@{⊗bβ∃*Pπ∞∨0.ε@H⎇∪@⊂π}ehλe(*@↓`e=KaPα?$pβ`h{↔bβ∃*PπE∂00∧0*U ∞H}fλ @↓↔8=@α8=L!8α≡%h∧ x{_c∧G∞Pλ"/02ε HPe ⊂Y>f( ↓ P`αλ↑=La(αλ2(∧!8{→c ∧xM`λLO04ε H;↑`⊃/>fHεJ`y@α_ =M!λ↓QQ@∧48{~c⊂∧scλp∂06¬ 8ub⊃w>fh∂↓8(⊃@α ∞=MaHα.wX∧KH{≠c⊂∧ruP %O08¬@@M0∩`}gλ @↓≤XV@α(c=N!@α)∨@∧cH{≤b βCYP Ro0:εH∞≥ ∪8>g( @↓↔8=@α8∃=NaHα.wX∧x_{≥d⊂ε8r0 zO0<ε H;↑`∀_}gH @↓↔8=@α@[=O! ↓w`(¬∂h{≡c ∧}I`λ o0> `↓⊂⊗`⊂→}gh
↓∨P'↓p≤⎇OaPα?$pβf{∨c ∧}I`πN∨H¬>⊂Aw{⎇xow{⎇x